Dict(
	[16, 2, 12, 18, 10, 1, 1, 16, 1, 1] => QQFieldElem[9//128, 0, 0, 0])